mathematical semantics

In this study, a new classification method of tolerances according to semantics and mathematical representation of basic geometric elements based on DOF is given.

给出了基于语义的几何公差分类方法及基于自由度变动的基本几何要素数学表示方法；

Different dimension constraint modes are de tailed. Third, a generic mathematical model of size tolerance is deduced based on mathematical definition systematically which can interpret the semantics of size tolerance exactly and completely.

从公差的数学定义出发，系统地推导了广义的尺寸公差数学模型，准确完整地表示出了尺寸公差的语义。

As a formal development tool, Petri net has strict mathematical semantics and can be used to analyze and validate a system conveniently to address the problems of lacking of formal description and validation in object-oriented technology.

Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。

The range of his research covers mathematical linguistics, logical semantics, transformational-generative grammar and non-transformational-generative grammar.

他在数理语言学 、 逻辑语义学 、 转换 - 生成语法、 非 转换 - 生成语法等研究领域颇有建树.

Combinatory logic is proposed to be a mathematical foundation of the semantics of programming languages.

本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。